Nuprl Definition : compose 13,42
(f o g)(x) == f(g(x)) 
latex

Upfun 1, fun 1
Wellformedness Lemmascompose wf, compose wf for mon hom, compose wf
Definitionsx.A(x), f(a)
FDL editor aliasescompose

origin